double desktop_idle_get_time();